Proof calculus - PDFSEARCH.IO - Document Search Engine

Proof calculus
Results: 476

#	Item
421	International Journal of Pure and Applied Mathematics Volume 76 No[removed], 49-68 ISSN: [removed]printed version) Add to Reading List Source URL: ijpam.eu Language: English - Date: 2012-04-02 12:10:26 Differential geometry Coordinate systems Proof theory BKL singularity Multivariable calculus Partial differential equation Mathematics
422	162 SAUNDERS MACLANE Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 11:31:16 Peano axioms Axiom Metamath Mathematical proof Principia Mathematica Intuitionistic logic Propositional calculus Consistency Function Logic Mathematics Mathematical logic
423	SPECIAL SECTION: MATHEMATICS Revisiting the ‘unreasonable effectiveness’ Add to Reading List Source URL: eprints.nias.res.in Language: English - Date: 2011-08-02 08:07:41 The Unreasonable Effectiveness of Mathematics in the Natural Sciences Language of mathematics Eugene Wigner Infinity Mathematician Applied mathematics Calculus New Math Mathematical proof Philosophy of mathematics Mathematics Science
424	Combining Proofs and Programs in a Dependently Typed Language Chris Casinghino Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2013-11-15 17:01:40 Logic in computer science Lambda calculus Proof theory Deduction Models of computation Curry–Howard correspondence Entailment Combinatory logic Fixed-point combinator Theoretical computer science Logic Mathematical logic
425	Click’n Prove Interactive Proofs Within Set Theory by J.-R. Abrial and D. Cansell Add to Reading List Source URL: web.ist.utl.pt Language: English - Date: 2007-10-15 04:40:08 Metalogic Sequent Proof procedure First-order logic Rule of inference Proof calculus Logic Proof theory Mathematical logic
426	Does the deduction theorem fail for modal logic? Raul Hakli Sara Negri Add to Reading List Source URL: www.helsinki.fi Language: English - Date: 2011-02-03 07:57:14 Deduction Model theory Philosophical logic Propositional calculus Deduction theorem Natural deduction Admissible rule Sequent calculus Rule of inference Logic Mathematical logic Proof theory
427	CATEGORICAL MODELS OF FIRST-ORDER CLASSICAL PROOFS Add to Reading List Source URL: www.iam.unibe.ch Language: English - Date: 2010-08-30 08:34:57 Proof theory Natural deduction Linear logic Sequent Categorical logic First-order logic Intuitionistic logic Interpretation Propositional calculus Logic Mathematical logic Mathematics
428	These are supplementary notes for Week 1’s lectures. It does not cover all of the material discussed in lectures, but rather is intended to provided extra explanations of material related to the lectures. The required text is Peter J. Eccles’ book An Introduction to Mathematical Reasoning. The section Add to Reading List Source URL: www.math.ucsd.edu Language: English - Date: 2013-01-10 01:32:55 Propositional calculus Boolean algebra Mathematical logic If and only if Truth table Converse Mathematical proof Logical connective Negation Mathematics Logic Abstract algebra
429	Chapter 8: The Logic of Conditionals § 8.1 Informal methods of proof Conditional elimination Add to Reading List Source URL: faculty.washington.edu Language: English - Date: 2004-06-01 21:31:14 Deduction Binary operations Entailment Conditional proof Modus ponens Logical biconditional Contraposition Soundness If and only if Logic Logical consequence Propositional calculus
430	A Generalization of Takeuti-Gandy Interpretation Bruno Barras, Thierry Coquand and Simon Huber Add to Reading List Source URL: uf-ias-2012.wikispaces.com Language: English - Date: 2013-03-11 12:03:37 Logic Deduction Natural deduction Sheaf Ordinal numbers Set theory Orbifold Holomorphic functional calculus Mathematical logic Proof theory Mathematics